perm filename FILE1.TYP[TEX,DEK] blob sn#716781 filedate 1983-06-24 generic text, type T, neo UTF8
This is DVItype, Version 1.1
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 1 (terse)
  Resolution =  7227.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00152588 pixels per DVI unit
' TeX output 1983.06.24:0017'
 
42: beginning of page 1009 
87: push 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
88: down3 -917504 v:=0-917504=-917504, vv:=-1399 
92: pop 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
93: down4 33030144 v:=0+33030144=33030144, vv:=50400 
98: push 
level 0:(h=0,v=33030144,w=0,x=0,y=0,z=0,hh=0,vv=50400) 
99: down4 -27838747 v:=33030144-27838747=5191397, vv:=7921 
104: push 
level 1:(h=0,v=5191397,w=0,x=0,y=0,z=0,hh=0,vv=7921) 
[ ]
109: fntdef1 28: cmb10---loaded at size 655360 DVI units 
130: fntnum28 current font is cmb10 
[A Bold, Centered Title]
159: pop 
level 1:(h=0,v=5191397,w=0,x=0,y=0,z=0,hh=0,vv=7921) 
160: y3 983040 v:=5191397+983040=6174437, vv:=9421 
164: push 
level 1:(h=0,v=6174437,w=0,x=0,y=983040,z=0,hh=0,vv=9421) 
[ ]
170: fntdef1 43: cmti10---loaded at size 655360 DVI units 
192: fntnum43 current font is cmti10 
[avec un sous-titre ]
219: setchar13 h:=18937729+334961=19272690, hh:=29408 
[ a la fran]
238: setchar24 h:=21299204+502442=21801646, hh:=33269 
[ caise]
248: pop 
level 1:(h=0,v=6174437,w=0,x=0,y=983040,z=0,hh=0,vv=9421) 
249: down3 1572864 v:=6174437+1572864=7747301, vv:=11821 
253: push 
level 1:(h=0,v=7747301,w=0,x=0,y=983040,z=0,hh=0,vv=11821) 
254: fntnum28 current font is cmb10 
[1. Plain T]
271: push 
level 2:(h=3433354,v=7747301,w=0,x=0,y=983040,z=0,hh=5239,vv=11821) 
[ ]
276: down3 139264 v:=7747301+139264=7886565, vv:=12034 
[E]
281: pop 
level 2:(h=3433354,v=7747301,w=0,x=0,y=983040,z=0,hh=5239,vv=11821) 
[ Xnology]
293: pop 
level 1:(h=0,v=7747301,w=0,x=0,y=983040,z=0,hh=0,vv=11821) 
294: y0 983040 v:=7747301+983040=8730341, vv:=13321 
295: push 
level 1:(h=0,v=8730341,w=0,x=0,y=983040,z=0,hh=0,vv=13321) 
296: fntdef1 6: amr10---loaded at size 655360 DVI units 
317: fntnum6 current font is amr10 
[The |rst paragraph of a new section is not indented. T]
381: push 
level 2:(h=15860551,v=8730341,w=214498,x=0,y=983040,z=0,hh=24201,vv=13321) 
[ ]
386: down3 141084 v:=8730341+141084=8871425, vv:=13536 
[E]
391: pop 
level 2:(h=15860551,v=8730341,w=214498,x=0,y=983040,z=0,hh=24201,vv=13321) 
[ X recognizes the end of]
419: pop 
level 1:(h=0,v=8730341,w=0,x=0,y=983040,z=0,hh=0,vv=13321) 
420: y3 786432 v:=8730341+786432=9516773, vv:=14521 
424: push 
level 1:(h=0,v=9516773,w=0,x=0,y=786432,z=0,hh=0,vv=14521) 
[a paragraph when it comes to a blank line in your manuscript |le.]
497: pop 
level 1:(h=0,v=9516773,w=0,x=0,y=786432,z=0,hh=0,vv=14521) 
498: y0 786432 v:=9516773+786432=10303205, vv:=15721 
499: push 
level 1:(h=0,v=10303205,w=0,x=0,y=786432,z=0,hh=0,vv=15721) 
[ Subsequent paragraphs ]
532: fntnum43 current font is cmti10 
[are ]
543: fntnum6 current font is amr10 
[indented.* (See?) The computer breaks a para-]
596: pop 
level 1:(h=0,v=10303205,w=0,x=0,y=786432,z=0,hh=0,vv=15721) 
597: y0 786432 v:=10303205+786432=11089637, vv:=16921 
598: push 
level 1:(h=0,v=11089637,w=0,x=0,y=786432,z=0,hh=0,vv=16921) 
[graph's text into lines in a interesting way_see reference [1]_and hyphenates]
686: pop 
level 1:(h=0,v=11089637,w=0,x=0,y=786432,z=0,hh=0,vv=16921) 
687: y0 786432 v:=11089637+786432=11876069, vv:=18121 
688: push 
level 1:(h=0,v=11876069,w=0,x=0,y=786432,z=0,hh=0,vv=18121) 
[words automatically when necessary.]
734: pop 
level 1:(h=0,v=11876069,w=0,x=0,y=786432,z=0,hh=0,vv=18121) 
735: down3 2220942 v:=11876069+2220942=14097011, vv:=21510 
739: push 
level 1:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510) 
740: down3 -786432 v:=14097011-786432=13310579, vv:=20310 
744: push 
level 2:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310) 
745: push 
level 3:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310) 
[ \]
751: pop 
level 3:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310) 
[ If there hadn't been room for this material on the present]
824: pop 
level 2:(h=0,v=13310579,w=0,x=0,y=786432,z=0,hh=0,vv=20310) 
825: y0 786432 v:=13310579+786432=14097011, vv:=21510 
826: push 
level 2:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510) 
[ page, it would have been inserted on the next one."]
893: pop 
level 2:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510) 
894: pop 
level 1:(h=0,v=14097011,w=0,x=0,y=786432,z=0,hh=0,vv=21510) 
895: down3 1572864 v:=14097011+1572864=15669875, vv:=23910 
899: push 
level 1:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910) 
900: fntnum28 current font is cmb10 
[Theorem T. ]
918: fntdef1 40: cms10---loaded at size 655360 DVI units 
939: fntnum40 current font is cms10 
[The typesetting of ]
965: fntdef1 7: cmi10---loaded at size 655360 DVI units 
986: fntnum7 current font is cmi10 
[math ]
992: fntnum40 current font is cms10 
[is discussed in Chapters 16↑19, and math]
1036: pop 
level 1:(h=0,v=15669875,w=0,x=0,y=786432,z=0,hh=0,vv=23910) 
1037: y0 786432 v:=15669875+786432=16456307, vv:=25110 
1038: push 
level 1:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110) 
[symbols are summarized in Appendix F.]
1082: pop 
level 1:(h=0,v=16456307,w=0,x=0,y=786432,z=0,hh=0,vv=25110) 
1083: down3 1966080 v:=16456307+1966080=18422387, vv:=28110 
1087: push 
level 1:(h=0,v=18422387,w=0,x=0,y=786432,z=0,hh=0,vv=28110) 
1088: fntnum28 current font is cmb10 
[2. Bibliography]
1110: pop 
level 1:(h=0,v=18422387,w=0,x=0,y=786432,z=0,hh=0,vv=28110) 
1111: down3 983040 v:=18422387+983040=19405427, vv:=29610 
1115: push 
level 1:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610) 
1116: push 
level 2:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610) 
[ ]
1121: fntnum6 current font is amr10 
[[1]]
1125: pop 
level 2:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610) 
[ D. E. Knuth and M. F. Plass, \Breaking paragraphs into lines," ]
1200: fntnum40 current font is cms10 
[So$w.]
1207: pop 
level 1:(h=0,v=19405427,w=0,x=0,y=786432,z=0,hh=0,vv=29610) 
1208: y0 786432 v:=19405427+786432=20191859, vv:=30810 
1209: push 
level 1:(h=0,v=20191859,w=0,x=0,y=786432,z=0,hh=0,vv=30810) 
[ pract. exp. ]
1229: fntnum28 current font is cmb10 
[11 ]
1233: fntnum6 current font is amr10 
[(1981), 1119↑1184.]
1252: pop 
level 1:(h=0,v=20191859,w=0,x=0,y=786432,z=0,hh=0,vv=30810) 
1253: down4 11226099 v:=20191859+11226099=31417958, vv:=47940 
1258: putrule height 26215, width 9472573 (41x14454 pixels) 
1267: down3 727450 v:=31417958+727450=32145408, vv:=49050 
1271: push 
level 1:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050) 
1272: push 
level 2:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050) 
[ *]
1278: pop 
level 2:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050) 
[ The amount of indentation can be changed by changing a parameter called]
1367: pop 
level 1:(h=0,v=32145408,w=0,x=0,y=786432,z=0,hh=0,vv=49050) 
1368: y0 786432 v:=32145408+786432=32931840, vv:=50250 
1369: push 
level 1:(h=0,v=32931840,w=0,x=0,y=786432,z=0,hh=0,vv=50250) 
1370: fntdef1 35: cmtt---loaded at size 655360 DVI units 
1390: fntnum35 current font is cmtt 
[\parindent]
1401: fntnum6 current font is amr10 
[. Turn the page for a summary of T]
1446: push 
level 2:(h=13479773,v=32931840,w=170275,x=0,y=786432,z=0,hh=20568,vv=50250) 
[ ]
1451: down3 141084 v:=32931840+141084=33072924, vv:=50465 
[E]
1456: pop 
level 2:(h=13479773,v=32931840,w=170275,x=0,y=786432,z=0,hh=20568,vv=50250) 
[ X's most important parameters.]
1497: pop 
level 1:(h=0,v=32931840,w=0,x=0,y=786432,z=0,hh=0,vv=50250) 
1498: pop 
level 0:(h=0,v=33030144,w=0,x=0,y=0,z=0,hh=0,vv=50400) 
1499: down3 1572864 v:=33030144+1572864=34603008, vv:=52800 
1503: push 
level 0:(h=0,v=34603008,w=0,x=0,y=0,z=0,hh=0,vv=52800) 
[Footline ]
1523: push 
level 1:(h=3203948,v=34603008,w=0,x=0,y=0,z=0,hh=4889,vv=52800) 
1528: fntdef1 0: cmr10---loaded at size 655360 DVI units 
1549: fntnum0 current font is cmr10 
[.]
1551: pop 
level 1:(h=3203948,v=34603008,w=0,x=0,y=0,z=0,hh=4889,vv=52800) 
[ ]
1556: push 
level 1:(h=3495216,v=34603008,w=291268,x=0,y=0,z=0,hh=5333,vv=52800) 
[.]
1562: pop 
level 1:(h=3495216,v=34603008,w=291268,x=0,y=0,z=0,hh=5333,vv=52800) 
[ ]
1564: push 
level 1:(h=3786484,v=34603008,w=291268,x=0,y=0,z=0,hh=5778,vv=52800) 
[.]
1570: pop 
level 1:(h=3786484,v=34603008,w=291268,x=0,y=0,z=0,hh=5778,vv=52800) 
[ ]
1572: push 
level 1:(h=4077752,v=34603008,w=291268,x=0,y=0,z=0,hh=6222,vv=52800) 
[.]
1578: pop 
level 1:(h=4077752,v=34603008,w=291268,x=0,y=0,z=0,hh=6222,vv=52800) 
[ ]
1580: push 
level 1:(h=4369020,v=34603008,w=291268,x=0,y=0,z=0,hh=6667,vv=52800) 
[.]
1586: pop 
level 1:(h=4369020,v=34603008,w=291268,x=0,y=0,z=0,hh=6667,vv=52800) 
[ ]
1588: push 
level 1:(h=4660288,v=34603008,w=291268,x=0,y=0,z=0,hh=7111,vv=52800) 
[.]
1594: pop 
level 1:(h=4660288,v=34603008,w=291268,x=0,y=0,z=0,hh=7111,vv=52800) 
[ ]
1596: push 
level 1:(h=4951556,v=34603008,w=291268,x=0,y=0,z=0,hh=7555,vv=52800) 
[.]
1602: pop 
level 1:(h=4951556,v=34603008,w=291268,x=0,y=0,z=0,hh=7555,vv=52800) 
[ ]
1604: push 
level 1:(h=5242824,v=34603008,w=291268,x=0,y=0,z=0,hh=8000,vv=52800) 
[.]
1610: pop 
level 1:(h=5242824,v=34603008,w=291268,x=0,y=0,z=0,hh=8000,vv=52800) 
[ ]
1612: push 
level 1:(h=5534092,v=34603008,w=291268,x=0,y=0,z=0,hh=8444,vv=52800) 
[.]
1618: pop 
level 1:(h=5534092,v=34603008,w=291268,x=0,y=0,z=0,hh=8444,vv=52800) 
[ ]
1620: push 
level 1:(h=5825360,v=34603008,w=291268,x=0,y=0,z=0,hh=8889,vv=52800) 
[.]
1626: pop 
level 1:(h=5825360,v=34603008,w=291268,x=0,y=0,z=0,hh=8889,vv=52800) 
[ ]
1628: push 
level 1:(h=6116628,v=34603008,w=291268,x=0,y=0,z=0,hh=9333,vv=52800) 
[.]
1634: pop 
level 1:(h=6116628,v=34603008,w=291268,x=0,y=0,z=0,hh=9333,vv=52800) 
[ ]
1636: push 
level 1:(h=6407896,v=34603008,w=291268,x=0,y=0,z=0,hh=9778,vv=52800) 
[.]
1642: pop 
level 1:(h=6407896,v=34603008,w=291268,x=0,y=0,z=0,hh=9778,vv=52800) 
[ ]
1644: push 
level 1:(h=6699164,v=34603008,w=291268,x=0,y=0,z=0,hh=10222,vv=52800) 
[.]
1650: pop 
level 1:(h=6699164,v=34603008,w=291268,x=0,y=0,z=0,hh=10222,vv=52800) 
[ ]
1652: push 
level 1:(h=6990432,v=34603008,w=291268,x=0,y=0,z=0,hh=10667,vv=52800) 
[.]
1658: pop 
level 1:(h=6990432,v=34603008,w=291268,x=0,y=0,z=0,hh=10667,vv=52800) 
[ ]
1660: push 
level 1:(h=7281700,v=34603008,w=291268,x=0,y=0,z=0,hh=11111,vv=52800) 
[.]
1666: pop 
level 1:(h=7281700,v=34603008,w=291268,x=0,y=0,z=0,hh=11111,vv=52800) 
[ ]
1668: push 
level 1:(h=7572968,v=34603008,w=291268,x=0,y=0,z=0,hh=11555,vv=52800) 
[.]
1674: pop 
level 1:(h=7572968,v=34603008,w=291268,x=0,y=0,z=0,hh=11555,vv=52800) 
[ ]
1676: push 
level 1:(h=7864236,v=34603008,w=291268,x=0,y=0,z=0,hh=12000,vv=52800) 
[.]
1682: pop 
level 1:(h=7864236,v=34603008,w=291268,x=0,y=0,z=0,hh=12000,vv=52800) 
[ ]
1684: push 
level 1:(h=8155504,v=34603008,w=291268,x=0,y=0,z=0,hh=12444,vv=52800) 
[.]
1690: pop 
level 1:(h=8155504,v=34603008,w=291268,x=0,y=0,z=0,hh=12444,vv=52800) 
[ ]
1692: push 
level 1:(h=8446772,v=34603008,w=291268,x=0,y=0,z=0,hh=12889,vv=52800) 
[.]
1698: pop 
level 1:(h=8446772,v=34603008,w=291268,x=0,y=0,z=0,hh=12889,vv=52800) 
[ ]
1700: push 
level 1:(h=8738040,v=34603008,w=291268,x=0,y=0,z=0,hh=13333,vv=52800) 
[.]
1706: pop 
level 1:(h=8738040,v=34603008,w=291268,x=0,y=0,z=0,hh=13333,vv=52800) 
[ ]
1708: push 
level 1:(h=9029308,v=34603008,w=291268,x=0,y=0,z=0,hh=13778,vv=52800) 
[.]
1714: pop 
level 1:(h=9029308,v=34603008,w=291268,x=0,y=0,z=0,hh=13778,vv=52800) 
[ ]
1716: push 
level 1:(h=9320576,v=34603008,w=291268,x=0,y=0,z=0,hh=14222,vv=52800) 
[.]
1722: pop 
level 1:(h=9320576,v=34603008,w=291268,x=0,y=0,z=0,hh=14222,vv=52800) 
[ ]
1724: push 
level 1:(h=9611844,v=34603008,w=291268,x=0,y=0,z=0,hh=14667,vv=52800) 
[.]
1730: pop 
level 1:(h=9611844,v=34603008,w=291268,x=0,y=0,z=0,hh=14667,vv=52800) 
[ ]
1732: push 
level 1:(h=9903112,v=34603008,w=291268,x=0,y=0,z=0,hh=15111,vv=52800) 
[.]
1738: pop 
level 1:(h=9903112,v=34603008,w=291268,x=0,y=0,z=0,hh=15111,vv=52800) 
[ ]
1740: push 
level 1:(h=10194380,v=34603008,w=291268,x=0,y=0,z=0,hh=15555,vv=52800) 
[.]
1746: pop 
level 1:(h=10194380,v=34603008,w=291268,x=0,y=0,z=0,hh=15555,vv=52800) 
[ ]
1748: push 
level 1:(h=10485648,v=34603008,w=291268,x=0,y=0,z=0,hh=16000,vv=52800) 
[.]
1754: pop 
level 1:(h=10485648,v=34603008,w=291268,x=0,y=0,z=0,hh=16000,vv=52800) 
[ ]
1756: push 
level 1:(h=10776916,v=34603008,w=291268,x=0,y=0,z=0,hh=16444,vv=52800) 
[.]
1762: pop 
level 1:(h=10776916,v=34603008,w=291268,x=0,y=0,z=0,hh=16444,vv=52800) 
[ ]
1764: push 
level 1:(h=11068184,v=34603008,w=291268,x=0,y=0,z=0,hh=16889,vv=52800) 
[.]
1770: pop 
level 1:(h=11068184,v=34603008,w=291268,x=0,y=0,z=0,hh=16889,vv=52800) 
[ ]
1772: push 
level 1:(h=11359452,v=34603008,w=291268,x=0,y=0,z=0,hh=17333,vv=52800) 
[.]
1778: pop 
level 1:(h=11359452,v=34603008,w=291268,x=0,y=0,z=0,hh=17333,vv=52800) 
[ ]
1780: push 
level 1:(h=11650720,v=34603008,w=291268,x=0,y=0,z=0,hh=17778,vv=52800) 
[.]
1786: pop 
level 1:(h=11650720,v=34603008,w=291268,x=0,y=0,z=0,hh=17778,vv=52800) 
[ ]
1788: push 
level 1:(h=11941988,v=34603008,w=291268,x=0,y=0,z=0,hh=18222,vv=52800) 
[.]
1794: pop 
level 1:(h=11941988,v=34603008,w=291268,x=0,y=0,z=0,hh=18222,vv=52800) 
[ ]
1796: push 
level 1:(h=12233256,v=34603008,w=291268,x=0,y=0,z=0,hh=18666,vv=52800) 
[.]
1802: pop 
level 1:(h=12233256,v=34603008,w=291268,x=0,y=0,z=0,hh=18666,vv=52800) 
[ ]
1804: push 
level 1:(h=12524524,v=34603008,w=291268,x=0,y=0,z=0,hh=19111,vv=52800) 
[.]
1810: pop 
level 1:(h=12524524,v=34603008,w=291268,x=0,y=0,z=0,hh=19111,vv=52800) 
[ ]
1812: push 
level 1:(h=12815792,v=34603008,w=291268,x=0,y=0,z=0,hh=19555,vv=52800) 
[.]
1818: pop 
level 1:(h=12815792,v=34603008,w=291268,x=0,y=0,z=0,hh=19555,vv=52800) 
[ ]
1820: push 
level 1:(h=13107060,v=34603008,w=291268,x=0,y=0,z=0,hh=20000,vv=52800) 
[.]
1826: pop 
level 1:(h=13107060,v=34603008,w=291268,x=0,y=0,z=0,hh=20000,vv=52800) 
[ ]
1828: push 
level 1:(h=13398328,v=34603008,w=291268,x=0,y=0,z=0,hh=20444,vv=52800) 
[.]
1834: pop 
level 1:(h=13398328,v=34603008,w=291268,x=0,y=0,z=0,hh=20444,vv=52800) 
[ ]
1836: push 
level 1:(h=13689596,v=34603008,w=291268,x=0,y=0,z=0,hh=20889,vv=52800) 
[.]
1842: pop 
level 1:(h=13689596,v=34603008,w=291268,x=0,y=0,z=0,hh=20889,vv=52800) 
[ ]
1844: push 
level 1:(h=13980864,v=34603008,w=291268,x=0,y=0,z=0,hh=21333,vv=52800) 
[.]
1850: pop 
level 1:(h=13980864,v=34603008,w=291268,x=0,y=0,z=0,hh=21333,vv=52800) 
[ ]
1852: push 
level 1:(h=14272132,v=34603008,w=291268,x=0,y=0,z=0,hh=21778,vv=52800) 
[.]
1858: pop 
level 1:(h=14272132,v=34603008,w=291268,x=0,y=0,z=0,hh=21778,vv=52800) 
[ ]
1860: push 
level 1:(h=14563400,v=34603008,w=291268,x=0,y=0,z=0,hh=22222,vv=52800) 
[.]
1866: pop 
level 1:(h=14563400,v=34603008,w=291268,x=0,y=0,z=0,hh=22222,vv=52800) 
[ ]
1868: push 
level 1:(h=14854668,v=34603008,w=291268,x=0,y=0,z=0,hh=22666,vv=52800) 
[.]
1874: pop 
level 1:(h=14854668,v=34603008,w=291268,x=0,y=0,z=0,hh=22666,vv=52800) 
[ ]
1876: push 
level 1:(h=15145936,v=34603008,w=291268,x=0,y=0,z=0,hh=23111,vv=52800) 
[.]
1882: pop 
level 1:(h=15145936,v=34603008,w=291268,x=0,y=0,z=0,hh=23111,vv=52800) 
[ ]
1884: push 
level 1:(h=15437204,v=34603008,w=291268,x=0,y=0,z=0,hh=23555,vv=52800) 
[.]
1890: pop 
level 1:(h=15437204,v=34603008,w=291268,x=0,y=0,z=0,hh=23555,vv=52800) 
[ ]
1892: push 
level 1:(h=15728472,v=34603008,w=291268,x=0,y=0,z=0,hh=24000,vv=52800) 
[.]
1898: pop 
level 1:(h=15728472,v=34603008,w=291268,x=0,y=0,z=0,hh=24000,vv=52800) 
[ ]
1900: push 
level 1:(h=16019740,v=34603008,w=291268,x=0,y=0,z=0,hh=24444,vv=52800) 
[.]
1906: pop 
level 1:(h=16019740,v=34603008,w=291268,x=0,y=0,z=0,hh=24444,vv=52800) 
[ ]
1908: push 
level 1:(h=16311008,v=34603008,w=291268,x=0,y=0,z=0,hh=24889,vv=52800) 
[.]
1914: pop 
level 1:(h=16311008,v=34603008,w=291268,x=0,y=0,z=0,hh=24889,vv=52800) 
[ ]
1916: push 
level 1:(h=16602276,v=34603008,w=291268,x=0,y=0,z=0,hh=25333,vv=52800) 
[.]
1922: pop 
level 1:(h=16602276,v=34603008,w=291268,x=0,y=0,z=0,hh=25333,vv=52800) 
[ ]
1924: push 
level 1:(h=16893544,v=34603008,w=291268,x=0,y=0,z=0,hh=25778,vv=52800) 
[.]
1930: pop 
level 1:(h=16893544,v=34603008,w=291268,x=0,y=0,z=0,hh=25778,vv=52800) 
[ ]
1932: push 
level 1:(h=17184812,v=34603008,w=291268,x=0,y=0,z=0,hh=26222,vv=52800) 
[.]
1938: pop 
level 1:(h=17184812,v=34603008,w=291268,x=0,y=0,z=0,hh=26222,vv=52800) 
[ ]
1940: push 
level 1:(h=17476080,v=34603008,w=291268,x=0,y=0,z=0,hh=26666,vv=52800) 
[.]
1946: pop 
level 1:(h=17476080,v=34603008,w=291268,x=0,y=0,z=0,hh=26666,vv=52800) 
[ ]
1948: push 
level 1:(h=17767348,v=34603008,w=291268,x=0,y=0,z=0,hh=27111,vv=52800) 
[.]
1954: pop 
level 1:(h=17767348,v=34603008,w=291268,x=0,y=0,z=0,hh=27111,vv=52800) 
[ ]
1956: push 
level 1:(h=18058616,v=34603008,w=291268,x=0,y=0,z=0,hh=27555,vv=52800) 
[.]
1962: pop 
level 1:(h=18058616,v=34603008,w=291268,x=0,y=0,z=0,hh=27555,vv=52800) 
[ ]
1964: push 
level 1:(h=18349884,v=34603008,w=291268,x=0,y=0,z=0,hh=28000,vv=52800) 
[.]
1970: pop 
level 1:(h=18349884,v=34603008,w=291268,x=0,y=0,z=0,hh=28000,vv=52800) 
[ ]
1972: push 
level 1:(h=18641152,v=34603008,w=291268,x=0,y=0,z=0,hh=28444,vv=52800) 
[.]
1978: pop 
level 1:(h=18641152,v=34603008,w=291268,x=0,y=0,z=0,hh=28444,vv=52800) 
[ ]
1980: push 
level 1:(h=18932420,v=34603008,w=291268,x=0,y=0,z=0,hh=28889,vv=52800) 
[.]
1986: pop 
level 1:(h=18932420,v=34603008,w=291268,x=0,y=0,z=0,hh=28889,vv=52800) 
[ ]
1991: fntnum6 current font is amr10 
[Page 1009]
2007: pop 
level 0:(h=0,v=34603008,w=0,x=0,y=0,z=0,hh=0,vv=52800) 
2008: eop 
Postamble starts at byte 2009.
maxv=34730439, maxh=22806528, maxstackdepth=4, totalpages=1
warning: observed maxh was 22806534
Font 43: cmti10 
Font 40: cms10 
Font 35: cmtt 
Font 28: cmb10 
Font 7: cmi10 
Font 6: amr10 
Font 0: cmr10